theory The complement of set A in set U is all elements of U which are not elements of A. (1995-01-24)